DUGi: Llistar Títols | Programación de tareas | 0 - 1

Llistar Títols per Matèria "Programación de tareas"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	15 juliol 2019	Scheduling through logic-based tools	Coll Caballero, Jordi

1

Matèries

Satisfacibilidad módulo teorias 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica 51 - Matemàtiques Satisfiability modulo theories Restricciones pseudo-booleanas Programació de tasques Scheduling

Autors

Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Villaret i Ausellé, Mateu Coll Caballero, Jordi Suy Franch, Josep